soundness相关论文
The Tohoku Earthquake of magnitude 9.0 on the Richter scale, the greatest event in the history in Japan, was occurre......
China’s annual Central Economic Work Conference, which ended in Beijing on December 7, emphasized that the country shou......
Research on physical and chemical properties and soundness of dry desulphurized fly ash used as a co
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
Research on physical and chemical properties and soundness of dry desulphurized fly ash used as a co
...
结构健壮性判定是服务组合领域的一个重要研究问题。已有研究成果通常仅对健壮性进行定性分析，难以精准对服务流程的结构质量进行评......
水泥的体积安定性是水泥的重要指标之一。文章主要依据GB／T1346—2001分析了影响水泥安定性检测的主要因素，并提出了针对性预防误判......
水泥的安定性是水泥检测项目中的重要指标之一,文章依据GB/T1346-2001《水泥标准稠度用水量、凝结时间、安定性检验方法》认真分析......
铁路桥梁检定部门主要依据《铁路桥梁检定规范》对铁路桥墩进行状态评估。由于桥墩在列车激励下的振幅随列车的种类、速度、轴重以......
以反例的形式指出了Ｂｉｊｌｓｍａ等人提出的过程调用中透明性引理证明中的错误，并且分别给出了透明性引理和可靠性定理的新的证明方法。......
余代数为各种各样的模态逻辑提供一致的语义框架.Lutz Schr？der证明了任意自函子的余代数类都有一个rank-1的公理化.反过来,每一个r......
稿件处理流程是一个部分自动执行的业务过程。通过对稿件处理工作流实际应用环境的分析．提出了一个相对完整的基于Petri网的工作流......
归纳了流体密封和气密性试验的技术原理和主要分类,并以差压法为例分析燃气器具生产过程试验,指出对于试验要求范围内的燃气器具泄......
随着工作流系统趋于大型化,使得可达图的验证技术对于大型模型进行验证时面临着状态空间爆炸的问题。因此,在过程验证之前,对大型......
目前，工作流系统向大型化发展，这使得基于可达图的验证技术在对大型模型进行验证时面临着状态空间爆炸的问题。因此，在过程验证之前，对......
钢渣细集料具有密度大、强度高、抗渗性好等优点而大量应用于建材行业。安定性是决定钢渣制品能否工程推广的关键因素,因此有必要......
计算状态空间可达图是验证工作流正确性的主要方法，状态空间爆炸是这类方法的主要困难。文章对线性时态逻辑LTLx描述的正确性提出了......
本试验对掺MgO膨胀剂的碾压混凝土在常压90℃，绝湿养护条件下进行了混凝土安定性试验。结果显示MgO混凝土膨胀破坏主要发生在水泥石......
现代企业计算的业务过程越来越复杂，有很多分散且相对独立的组织机构，为了协同来自不同组织的业务过程，文中提出一种IOPB模型(面......
一致性、可靠性、完全性、不完全性是形式系统的基本概念。在厘清上述概念的基础上,对其间相互关系的梳理使我们明晰了哥德尔完全......
中介逻辑是朱梧槚先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词-、反对连接词 以及蕴涵连接词→,并且定义......
采用不同热处理工艺处理钢渣,通过化学相分离方法定性、定量研究不同热处理工艺参数对热处理钢渣中MgO的含量分布,同时研究了钢渣......
简要地归纳了当前世界各国标准对水泥中氧化镁的规定,以方镁石危害性实质出发对压蒸安定性试验方法的影响因素和缺点进行了分析,提......
语法完全性仅与一个形式系统的语法构造相关,经典命题逻辑的有代入规则的系统是语法完全的,无代入规则的系统不是语法完全的.将全......
通过测定钢渣在不同蒸养温度条件下的化学结合水和抗压强度,以及对水化产物进行XRD和SEM分析,探讨了钢渣在蒸养条件下的安定性问题......
讨论了向量值一阶逻辑形式系统。通过对于在智能系统多认知环境下事物逻辑性质的分析,把逻辑真值推广到一个n维向量。在对于向量值......
高钙粉煤灰如果不加限制使用或没有采取预处理措施,可能会给混凝土的体积安定性带来隐患。在市场上抽取了某电厂的商品高钙粉煤灰......
针对当前天然砂资源日益匮乏的现状,采用炼钢厂的副产品——钢渣作细集料替代天然砂,但钢渣砂的体积安定性一直是制约其应用的关键......
绿色高性能混凝土要求更多地利用工业废渣,锰矿渣是冶铁产生的废渣,磨细后具有潜在活性.试验采用磨细锰矿渣粉,研究其物理性能、活......
通常的逻辑只涉及静态否定的概念。文章建立了几类动态系统来刻画动态否定概念，并引入相应的语义，然后证明这些系统相对这些语义是可......
通过测定雷氏值和无侧限抗压强度来研究沸石灰渣激发剂（HAZ）掺量对安定性的影响。结果表明HAZ不但可以提高改善固硫渣复合水泥的安定......
介绍了混凝土安定性的检测方法和检测原理,结合某工程实例,对该工程混凝土安定性进行了检测和分析,指出混凝土安定性是影响工程质......
利用金相显微镜和扫描电镜对GCr15喷射成形试样的疏松、显微组织进行了分析,采用能谱分析法对试样中元素含量及分布进行了分析.提......
自动推理作为自动定理证明的扩展是人工智能研究的基础工作，许多重要的人工智能系统都是以推理系统为其核心部分，其中的tableau方法，......
The objective of this study was to determine the minimum representative area to evaluate testicular echotexture parenchy......
高校体育的发展，高校体育课程的改革，在人类步入21世纪，面对世界性知识经济的浪潮，如何对学生施以“全方”体育教育,已成为人们有待解......
The AGM axiom system is for the belief revision (revision by a single belief), and the DP axiom system is for the iterat......
With the paradigm of holistic thinking and multiple per-spectives,an overall new understanding of logic is ob-tained for......
With the paradigm of holistic thinking and multiple per-spectives,an overall new understanding of logic is ob-tained for......
文章介绍了国内外膨胀的发展状况和钢渣利用情况，提出把钢渣掺入水泥中作膨胀的设想并进行了一系列实验。结果表明，用钢渣用膨胀剂，膨......
WF-net是一种工作流模型，合理性是衡量WF-net模型正确性的一个标准，不合理的工作流模型会导致运行错误．但是合理性验证问题是NP-compl......
对用于水泥和混凝土的LIFAC脱硫粉煤灰技术指标和水泥混凝土的强度发展进行了测定和分析, 对LIFAC脱硫粉煤灰中的游离氧化钙对水泥......
研究了改性高钙粉煤灰按不同比例掺入硅酸盐水泥后其净浆和砂浆的基本物理力学性能，并与未经改性的原状高钙粉煤灰做比较。结果表明......
Ａｎｄｒｅｗｓ在《Ａｎ Ｉｎｔｒｏｄｕｃｔｉｏｎ ｔｏ Ｍａｔｈｅｍａｔｉｃａｌ Ｌｏｇｉｃ ａｎｄ Ｔｙｐｅ Ｔｈｅｏｒｙ：ＴｏＴｒｕｔｈ Ｔｈｒｏｕｇｈ Ｐｒｏｏｒ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法，但其中关于语义树方法的可靠性和完备性定理......
